Symbolic space of public administration

A Symbolic Symbolic State Space Representation

Symmetry based approaches are known to attack the state space explosion problem encountered during the analysis of distributed systems. In another way, BDD-like encodings enable the management of huge data sets. In this paper, we show how to benefit from both approaches automatically. Hence, a quotient set is built from a coloured Petri net description modeling the system. The reachability set ...

Social Space and Symbolic Power

Parallelising Symbolic State-Space Generators

Symbolic state-space generators are notoriously hard to parallelise, largely due to the irregular nature of the task. Parallel languages such as Cilk, tailored to irregular problems, have been shown to offer efficient scheduling and load balancing. This paper explores whether Cilk can be used to efficiently parallelise a symbolic state-space generator on a shared-memory architecture. We paralle...

Ethics in Public Administration

The modern world has seen an increase in interest in the areas related to the ethics of the sovereign good. A number of studies have focused on this subject matter and several academicians have exposed a number of ethical and philosophical dilemmas related to the concept of ethics in public administration. Despite the increasing number of studies that have focused on the importance of administr...

Modelling Public Administration Portals

Portals for the public administration (PA) are Internet gateways leading to a broad range of services, devoted to a great number of users. The offered services can potentially be all the ones offered by the PA offices. The final users involved are potentially all the citizens, thus ranging from young people to retired ones, to impaired ones. The benefits offered by putting PA services on the In...